Bibliographical Records
نویسندگان
چکیده
منابع مشابه
Bibliographical Details
I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...
متن کاملBibliographical details
Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...
متن کاملMesotherapy: a bibliographical review.
Intradermotherapy is a medical procedure introduced by Pistor in 1958 that consists in the application of intradermal injections of diluted pharmacological substances that are given directly into the region to be treated. There are reports of the use of intradermotherapy to treat painful diseases, skin diseases and unaesthetic conditions. Medical clinics have been recently offering the treatmen...
متن کاملNew records of the soldier flies of Morocco with a bibliographical inventory of the North African fauna (Diptera, Stratiomyidae)
A checklist of soldier flies species recorded from the North African countries of Morocco, Algeria, Tunisia, Libya, and Egypt is based on both literature records and material newly collected in Morocco. Four subfamilies (Stratiomyinae, Sarginae, Nemotelinae, and Pachygasterinae), and twelve species from five genera have been collected and are recognized in Morocco. Pachygaster atra (Panzer, 179...
متن کاملInteractively Exploring Bibliographical Data for Literature Analysis
This paper introduces techniques for interactive navigation within large sets of bibliographic data. The main conceptual idea is to use various relations between the entries to navigate within the information space. A visualization that supports both the display of the data itself and the relations is introduced. Interaction techniques offer possibilities to follow relations and, thus, create n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International journal of military history and historiography
سال: 2023
ISSN: ['2468-3302', '2468-3299']
DOI: https://doi.org/10.1163/24683302-43020001